1. Handbook of Philosophical Logic
پدیدآورنده : edited by D.M. Gabbay, F. Guenthner.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic.,Philosophy (General)
2. Handbook of philosophical logic.
پدیدآورنده : edited by D.M. Gabbay and F. Guenthner.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Handbooks, manuals, etc.,Droit.,Logic.,Logica.,Logica.,Logik,PHILOSOPHY, Logic.,Sciences humaines.,Sciences sociales.
رده :
BC1
.
H36
v
.
15
3. Handbook of philosophical logic
پدیدآورنده : / Edited by d. m. gabbay, f. guenthner
موضوع :
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
4. Handbook of temporal reasoning in artificial intelligence
پدیدآورنده : edited by M. Fisher, D. Gabbay, L. Vila
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Temporal databases,، Artificial intelligence,، Reasoning
رده :
QA
76
.
9
.
D3
H347
2005
5. Labelled Deduction
پدیدآورنده : edited by David Basin, Marcello D'Agostino, Dov M. Gabbay, Seán Matthews, Luca Viganò.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Logic.,Philosophy (General)
6. What is a logical system?
پدیدآورنده : edited by D.M. Gabbay
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Logic, Symbolic and mathematical,، Computer science
رده :
QA
9
.
2
.
W48
1994
